An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services
نویسندگان
چکیده
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملSemantic-enabled Specification for Web Services Agreement
Quality of Service (QoS) becomes necessary for service-oriented computing. Web Services Agreement (WSA) aims at defining a language and a protocol for advertising the capabilities of providers, creating agreements based on creational offers, and monitoring of QoS. On the other hand, semantic web provides many burgeoning techniques that enable services intelligent and automatic on the web. There...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولAn Abstract Machine for Execution Time Estimation
ion Level The (Fortran) abstraction level used is too high to produce exact estimations of execution times. It is adequate nonetheless for identifying trends in the execution time caused by fluctuations in input parameters of the application being examined, and the machine model parameters. Non-Orthogonal Parameters Many of the parameters depend on each other, while it is not specifically menti...
متن کاملWeb Services Orchestration and Choreography
Web Services Orchestration and Choreography I n a recent Computer Sciences Corporation survey , 1 senior information technology executives ranked " connecting to customers, suppliers, or partners electronically " as the top global IT management issue. Web services offer standards based mechanisms for addressing this issue. However, existing methods for creating business processes are not design...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2018
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2018/4094951